следующая теорема вытекает из (...)

См. также в других словарях:

• ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… …   Философская энциклопедия

• АБЕЛЯ ТЕОРЕМА — 1) А. т. об алгебраических уравнениях : ни для какого п, большего или равного пяти, нельзя указать формулу, к рая выражала бы корни любого уравнения n й степени через его коэффициенты при помощи радикалов. Найдена Н. Абелем в 1824 (см. [1]). А. т …   Математическая энциклопедия

• МИТТАГ-ЛЕФФЛЕРА ТЕОРЕМА — 1) М. Л. т. о разложении мероморфной функции (см. [1], [2]) одна из основных теорем теории аналитических функций, дающая для мероморфных функций аналог разложения рациональной функции на простейшие дроби. Пусть последовательность различных… …   Математическая энциклопедия

• ДВОЙСТВЕННОСТЬ — 1) Д. в алгебраической геометрии двойственность между различными пространствами когомологий на алгебраич. многообразиях. Когомологий когерентных пучков. Пусть X неособое проективное алгебраич. многообразие размерности nнад алгебраически замкнутым …   Математическая энциклопедия

• Функция Эйлера — Не следует путать с функцией распределения простых чисел. Первая тысяча значений Функция Эйлера φ(n) мультипликативная …   Википедия

• Десятичная дробь — Десятичная дробь  разновидность дроби, которая представляет собой способ представления действительных чисел в виде где   знак дроби: либо , либо ,   десятичная запятая, служащая разделителем между целой и дробной частью числа… …   Википедия

• ДВОЙСТВЕННОСТИ ПРИНЦИП — 1) Д. п. в математической логике теорема о взаимозаменяемости в определенном смысле логич. операций в формулах формальных логических и логико предметных языков. Пусть А формула языка логики высказываний или логики предикатов, не содержащая знака… …   Математическая энциклопедия

• ДИСКРЕТНАЯ ПОДГРУППА — подгруппа Г топологич. группы G(в частности, подгруппа группы Ли), являющаяся дискретным подмножеством топологич. пространства G. В локально компактных топологич. группах (в частности, в группах Ли) выделяют решетки Д. п., для к рых… …   Математическая энциклопедия

• Дифференциальное исчисление — Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого ума и составило эпоху в истории точных наук. Ближайшим поводом к изобретению …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• КОМБИНАТОРНЫЙ АНАЛИЗ — комбинаторная математика, комбинаторика, раздел математики, посвященный решению задач выбора и расположения элементов нек рого, обычно конечного, множества в соответствии с заданными правилами. Каждое такое правило определяет способ построения… …   Математическая энциклопедия

• ВЫЧЕТ — аналитической функции f(z) одного комплексного переменного в конечной изолированной особой точке аоднозначного характера коэффициент при в разложении Лорана функции f(z) (см. Лорана ряд).в окрестности точки а, или равный ему интеграл где… …   Математическая энциклопедия